Modelling and Verification of Context-Aware Intelligent Assistive Formalism

Recent years have witnessed the expeditious evolution of intelligent smart devices and autonomous software technologies with expanded domains computing from workplaces to in everyday routine life activities. This trend has been rapidly advancing towards new generation systems where play vital roles acting intelligently on behalf users. Context-awareness emerged pervasive paradigm. Context-aware ability acquire contextual information surrounding environment autonomously, perform reasoning it, then adapt their behaviors accordingly. With proliferation context-aware sensors, real-time monitoring environmental situations (context) become quite trivial. However, it is often challenging because imperfect nature context can cause inconsistent behavior system. In this paper, we propose a decision support formalism assist cognitively impaired people managing For this, present semantic knowledge-based framework contextualize using protégé ontology editor Semantic Web Rule Language (SWRL) rules. The set contextualized rules acquired be used model Multi-Agent Systems (CMAS) order autonomously plan all activities users notify act To illustrate use proposed formalism, case study Mild Cognitive Impaired (MCI) patients Colored Petri Nets (CPN) show process how agents collaboratively user's validate correctness properties